Code Metrics - PDFSEARCH.IO - Document Search Engine

Code Metrics
Results: 180

#	Item
61	Formalization and Comparison of MCDC and Object Branch Coverage Criteria Cyrille Comar, Jerome Guitton, Olivier Hainque, Thomas Quinot AdaCore, 46 rue d’Amsterdam, FPARIS (France) {comar, guitton, hainque, quino Add to Reading List Source URL: www.adacore.com Language: English - Date: 2012-03-18 14:24:37 Binary decision diagram Model checking Software metrics Software engineering Modified condition/decision coverage Code coverage Mathematics Formal methods Software testing Boolean algebra Diagrams
62	Micro Interaction Metrics for Defect Prediction Taek Lee†∗, Jaechang Nam§ , DongGyun Han§ , Sunghun Kim§ , Hoh Peter In† † Department of Computer Science and Engineering Korea University, Seoul, Korea Add to Reading List Source URL: www.cse.ust.hk Language: English - Date: 2012-06-14 09:36:58 Software bug Cohesion Software quality Software engineering Software metrics Source lines of code
63	Geosci. Model Dev., 5, 1009–1022, 2012 www.geosci-model-dev.netdoi:gmd © Author(sCC Attribution 3.0 License. Geoscientific Add to Reading List Source URL: www.geosci-model-dev.net Language: English - Date: 2014-12-04 04:08:23 Software metrics Software development process Source lines of code Software quality Software bug Open-source software Global climate model Software testing Unified Code Count Software development Software Computing
64	The Software Maintainability Index Revisited Kurt D. Welker Idaho National Engineering and Environmental Laboratory In 1991 Oman and Hagemeister introduced a composite metric for quantifying software maintainability. T Add to Reading List Source URL: www.crosstalkonline.org Language: English Maintainability Source lines of code Cyclomatic complexity Code Metrics Software testing Software maintenance Coupling Decomposition Software design Software engineering Software metrics Software quality
65	Enhancing Symbolic Execution with Veritesting Thanassis Avgerinos, Alexandre Rebert, Sang Kil Cha, and David Brumley Carnegie Mellon University {thanassis, alexandre, sangkilc, dbrumley}@cmu.edu Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Software testing Automated theorem proving Concolic testing Software metrics KeY Symbolic execution Code coverage Control flow graph Algorithm Software Computing Formal methods
66	Dette er NIK Word template (Heading 1) Add to Reading List Source URL: www.nik.no Language: English - Date: 2010-10-13 06:09:24 Extreme programming Software metrics Software review Computer programming Software testing Software maintenance Pair programming Defect tracking Source lines of code Software development Software engineering Software
67	Enhancing Symbolic Execution with Veritesting Thanassis Avgerinos, Alexandre Rebert, Sang Kil Cha, and David Brumley Carnegie Mellon University {thanassis, alexandre, sangkilc, dbrumley}@cmu.edu Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-03-17 11:29:44 Software testing Automated theorem proving Concolic testing Software metrics KeY Symbolic execution Code coverage Control flow graph Algorithm Software Computing Formal methods
68	An empirical study of software development productivity in C and C++1 Ingunn Myrtveit, Erik Stensrud ) Norwegian School of Management - BI Abstract Add to Reading List Source URL: www.nik.no Language: English* - Date: 2009-01-21 06:22:18 Software metrics Programming paradigms Software design Software sizing Software development methodology Source lines of code Object-oriented analysis and design Software development process Component-based software engineering Software engineering Software development Object-oriented programming
69	ASSESSING THE MAINTAINABILITY OF C++ SOURCE CODE By MARIUS SUNDBAKKEN A thesis submitted in partial fulfillment of Add to Reading List Source URL: research.wsulibs.wsu.edu Language: English - Date: 2012-03-23 15:13:52 Computing Software metrics Data types Software design Software quality Source code Source lines of code Object-oriented design R Software engineering Object-oriented programming Computer programming
70	Finding Predictors of Field Defects for Open Source Software Systems in Commonly Available Data Sources: a Case Study of OpenBSD Paul Luo Li, Mary Shaw, Jim Herbsleb, June 2005 Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2005-08-25 13:18:40 Computing Software quality Concurrent Versions System Source lines of code Reliability engineering Open-source software Software engineering Software Software metrics

UPDATE